121. Communication complexity and parallel computing
پدیدآورنده : Hromkovic, Juraj
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computational complexity
رده :
QA
76
.
58
.
H76
1997
122. Communication complexity and parallel computing
پدیدآورنده : Hromkovic, Juraj
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(,، Computational complexity
رده :
QA
76
.
58
.
H76
1997
123. Communication sequential processes
پدیدآورنده : C. A. R. Hoare
موضوع : Electronic digital computers--Programming,Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
124. Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems
پدیدآورنده : Santosh Pande, Dharma P. Agrawal )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Compilers )Computer programs(,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1808
125. Complex systems : from biology to computation
پدیدآورنده : edited by David G. Green and Terry Bossomier
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Biology,، Biological systems,، Parallel processing )Electronic computers(
رده :
QH
313
.
C76
1993
126. Compositionality, concurrency, and partial correctness: Proof theories for networks of processes and their relationship
پدیدآورنده : Zwiers, Job, 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
321
127. Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 1997 : revised lectures
پدیدآورنده : Willem-Paul de Roever, Hans Langmaack, Amir Pnueli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1536
128. Computer algebra and parallelism
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Algebra- Data processing- Congresses,Parallel programming )Computer science(- Congresses,Parallel processing )Electronic computers(- Congresses
129. Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebra-- Data processing-- Congresses,، Parallel programming )Computer science(-- Congresses,، Parallel processing )Electronic computers(-- Congresses
رده :
QA
155
.
7
.
E4
.
C6495
1992
130. Computer architecture and parallel processing
پدیدآورنده : Hwang, Kai
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
131. Computer architecture and parallel processing
پدیدآورنده : Hwang, Kai.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
A73
H88
1985
132. Computer architecture and parallel processing
پدیدآورنده : Hwang, Kai.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
A73
H88
1984
133. Computer architecture and parallel processing
پدیدآورنده : Hwang, Kai
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
A73H88
1984
134. Computer architecture and parallel processing
پدیدآورنده : Hwang, Kai
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
A73
H88
1987
135. Computer architecture and parallel processing
پدیدآورنده : Hwang, Kai
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
A73
H88
1984
136. Computer science reconsidered
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer science,Parallel processing (Electronic computers),Electronic data processing- Distributed processing
رده :
QA76
.
F362
2007
137. Computer science reconsidered
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science. ; Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing. ;
138. Computing in object-oriented parallel environments : Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 1998 : proceedings
پدیدآورنده : Denis Caromel, Rodney R. Oldehoeft, Marydell Tholburn, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1505
139. Computing in object-oriented parallel environments : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 1999 : proceedings
پدیدآورنده : Satoshi Matsuoka, Rodney R. Oldehoeft, Marydell Tholburn )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1732
140. Concepts, design, and performance analysis of a parallel prolog machine
پدیدآورنده : Beer, Joachim, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
404